-----------------------------------------------------------------------------
-- |
-- Maintainer  :  joost.visser@di.uminho.pt, alcino@di.uminho.pt
-- Stability   :  experimental
-- Portability :  portable
--
-- See
--
--     Strongly Typed Rewriting For Coupled Software Transformation
-- 
-- by
--
--     Alcino Cunha, Joost Visser
--
-----------------------------------------------------------------------------

module Data.Transform.Coupled (
 module Data.Transform.TwoLevelPF,
 simplify, optimize, reduceMaybe
) where

import Data.Transform.TwoLevelPF
import Data.Transform.Rewriting (simplify,reduceMaybe, reduce)
import Data.Transform.RulesPF (optimize)


